DIMACS Format
SATソルバ、SMTソルバに読み込ませるファイルフォーマット
DIMACS CNF
CNF
code:DIMACS Format
c
c start with comments
c
c
p cnf 5 3
1 -5 4 0
-1 5 3 4 0
-3 -4 0
c: 1行コメント
p: 問題行。問題のフォーマット、引数的なものを書く。
CNF Formatのときp FORMAT VARIABLES CLAUSES
SAT formatのときp FORMAT VARIABLES
詳しくは『Satisfiability Suggested Format』を見る
確認用
Q. DIMACS Format
参考
benchmarks submission guidelines. 2009-01-13
Satisfiability Suggested Format. , 1993.
メモ
https://jix.github.io/varisat/manual/0.2.0/formats/dimacs.html